Detecting Renamings in Three-Way Merging

نویسندگان

  • László Angyal
  • László Lengyel
  • Hassan Charaf
چکیده

Teamwork is the typical characteristic of software development, because the tasks can be splitted and parallelized. The independently working developers use Software Configuration Management (SCM) systems to apply version control to their files and to keep them consistent. Several SCM systems allow working on the same files concurrently, and attempt to auto-merge the files in order to facilitate the reconciliation of the parallel modifications. The merge should produce syntactically and semantically correct source code files, therefore, developers are often involved into the resolution of the conflicts. However, when a general textual-based approach reports a successful merge, the output can still be failed in compile time, because semantic correctness cannot be ensured trivially. Renaming an identifier consists of many changes, and can cause semantic errors in the output of the merge, which subsequently have to be corrected manually. This paper introduces that matching the identifier declarations, e.g. class, field, method, local variables, with their corresponding references in the abstract syntax trees of the revisions, and considering the detected renamings during the merge takes closer to semantic correctness. The problem is illustrated and a solution is elaborated in this work.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Patterns for Renaming and Stamping Out Object-Oriented Models

Modern system engineering is supported by a families of modelling languages; each member of a specific family addresses a different aspect of the application domain. Constructing families of modelling languages is facilitated by the use of packages and templates. Packages are containers of modelling elements. Packages may be specialised and merged. Renamings may be applied to packages. Template...

متن کامل

Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete

Yamasaki and Doshita have defined an extension of the class of propositional Horn formulas; later, Gallo and Scutellà generalized this class to a hierarchy Γ0 ⊆ Γ1 ⊆ . . . ⊆ Γk ⊆ . . ., where Γ0 is the set of Horn formulas and Γ1 is the class of Yamasaki and Doshita. For any fixed k, the propositional formulas in Γk can be recognized in polynomial time, and the satisfiability problem for Γk for...

متن کامل

Map-merging in Multi-robot Simultaneous Localization and Mapping Process Using Two Heterogeneous Ground Robots

In this article, a fast and reliable map-merging algorithm is proposed to produce a global two dimensional map of an indoor environment in a multi-robot simultaneous localization and mapping (SLAM) process. In SLAM process, to find its way in this environment, a robot should be able to determine its position relative to a map formed from its observations. To solve this complex problem, simultan...

متن کامل

Detecting Halo Streams with GAIA

We investigate what the proposed ESA astrometric satellite GAIA will reveal by observing the halo of the Milky Way. Specifically, we look for halo streams which are the signatures left by the merging/accretion events experienced by a typical galaxy like the Milky Way. We run numerical simulations of the disruption of satellite galaxies in a Galactic potential to generate artificial GAIA halo ca...

متن کامل

A Fault-Tolerant Three-Way Merge for XML and HTML

Three-way merging is a technique that is used to reintegrate changes to a document when multiple independently modified copies have been made. Tools for three-way merge of ASCII text files exist in the form of the ubiquitous diff and patch tools, but these are of limited applicability when parts of the documents have been rearranged. Our fault-tolerant three-way merge for XML and HTML was desig...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007